Deviational Analyses for Validating Regulations on Real Systems
نویسندگان
چکیده
Deviational analysis is a traditional way of exploring the safety of systems. The results of deviational analysis contribute to traditional safety cases and safety arguments. We extend deviational analysis to other aspects of dependability, notably security. We discuss how the evidence of deviational analysis can contribute to the validation of regulations, in the sense of their application of regulations to real systems. Keyword: deviational analysis, dependability, regulation validation
منابع مشابه
Stochastic Modeling of a Musical Performance with Expressive Representations from the Musical Score
This paper presents a method for describing the characteristics of human musical performance. We consider the problem of building models that express the ways in which deviations from a strict interpretations of the score occurs in the performance, and that cluster these deviations automatically. The clustering process is performed using expressive representations unambiguously notated on the m...
متن کاملA Study on the Effect of Embarrassing Mechanism in Parents-Children Relationship and its Role in Deviational Behavior in the Youth (Based on Theoretical Model of Braithwaite)
Moral deviation and delinquency in the youth life do not appear in one form and have different and diverse meanings and concepts. Not only criminal or guilty youth are the ones who propel the society to continuous thinking and planning and trying for their readjustment to the society, but also there are many youths who have not done any guilt but are exposed to the danger of moral deviation. S...
متن کاملValidating Real-Time Constraints in Embedded Systems
ABSTRACT There is a growing demand for software tools that an assist in designing, analyzing and validating embedded real-time system appli ations. Validating real-time onstraints in embedded systems plays a major role in the development of reliable robust systems. Esterel a syn hronous languageis widely used in the development of embedded systems and hardware/software odesign. In this paper, w...
متن کاملConfidence Analysis of Standard Deviational Ellipse and Its Extension into Higher Dimensional Euclidean Space
Standard deviational ellipse (SDE) has long served as a versatile GIS tool for delineating the geographic distribution of concerned features. This paper firstly summarizes two existing models of calculating SDE, and then proposes a novel approach to constructing the same SDE based on spectral decomposition of the sample covariance, by which the SDE concept is naturally generalized into higher d...
متن کاملFinancial Regulation in the United Kingdom:Historical Foundations and Current Practices
Financial markets have been developed rapidly in recent years. New and sophisticated financial tools have been the cause of these developments which need new controlling systems to prevent crisis. Most of industrial economies have reformed regulatory structure of their financial systems. This paper reviews the regulatory developments of UK in this regard and offers new regulations and ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006